predicate logic derivations